Crowdsourcing in Cyber-Physical Systems: Stochastic Optimization With Strong Stability
نویسندگان
چکیده
منابع مشابه
Stochastic Optimization and Real-Time Scheduling in Cyber-Physical Systems
A principal goal of this dissertation is to study stochastic optimization and real-time scheduling in cyber-physical systems (CPSs) ranging from realtime wireless systems to energy systems to distributed control systems. Under this common theme, this dissertation can be broadly organized into three parts based on the system environments. The first part investigates stochastic optimization in re...
متن کاملCyber-Physical Optimization for Unmanned Aircraft Systems
A = area of an image b = wingspan CD0 = zero-lift drag coefficient E = energy for physical system e0 = Oswald efficiency factor f = focal length of camera H = entropy cost Hdist = horizontal distance of imaging plane Jp = cost function for physical system K = aerodynamic parameter k = execution cycle of task τ L = Lagrangian of constrained cost function m = mass of aircraft P v = power as a fun...
متن کاملRuntime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State
Correct functioning of cyber-physical systems is of critical importance. This is more so in the case of safety critical systems such as in medical, automotive and many other applications. Since verification of correctness, in general, is infeasible and testing is not exhaustive, it is of critical importance to monitor such system during their operation and detect erroneous behaviors to be acted...
متن کاملUnified Knowledge Model for Stability Analysis in Cyber Physical Systems
Cyber-Physical Systems (CPS) consist of distributed computation interconnected by computer networks that monitor and control switched physical entities interconnected by physical infrastructures. Finding a common semantic among these diverse components that facilitates system synthesis, verification, and monitoring is a significant challenge of a CPS research program. In the emerging smart grid...
متن کاملFormal Verification of Stability Properties of Cyber-physical Systems
We increasingly rely on computers to interact with the physical world for us. At the large end, software underlies the control systems of commercial aircraft and power plants, and at the small end it controls medical devices and hobbyist UAVs. The failure of any of these systems can have severe consequences which are often measured in the loss of human lives. Formal verification has proven a pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Emerging Topics in Computing
سال: 2013
ISSN: 2168-6750
DOI: 10.1109/tetc.2013.2273358